<?php
// Functions for performing maintenance on the database
// and keeping "persistence" in the game.

?>
